18

A Model in κ for DNA Addition

Year:
2007
Language:
english
File:
PDF, 325 KB
english, 2007
19

On the expressiveness of interaction

Year:
2010
Language:
english
File:
PDF, 3.82 MB
english, 2010
20

Understanding the mismatch combinator in chi calculus

Year:
2003
Language:
english
File:
PDF, 376 KB
english, 2003
21

Tau laws for pi calculus

Year:
2003
Language:
english
File:
PDF, 1.32 MB
english, 2003
22

Variations on mobile processes

Year:
1999
Language:
english
File:
PDF, 2.04 MB
english, 1999
23

A functional presentation of Pi calculus

Year:
2001
Language:
english
File:
PDF, 885 KB
english, 2001
26

Symmetric π-calculus

Year:
1998
Language:
english
File:
PDF, 433 KB
english, 1998
27

Constructive sets in computable sets

Year:
1997
Language:
english
File:
PDF, 893 KB
english, 1997
28

Reaction graph

Year:
1998
Language:
english
File:
PDF, 1.03 MB
english, 1998
29

Structures definable in polymorphism

Year:
1998
Language:
english
File:
PDF, 558 KB
english, 1998
30

Relative properties of frame language

Year:
1999
Language:
english
File:
PDF, 491 KB
english, 1999
31

Semantics of constructions (I) — The traditional approach

Year:
2001
Language:
english
File:
PDF, 832 KB
english, 2001
32

Testing congruence for mobile processes

Year:
2002
Language:
english
File:
PDF, 652 KB
english, 2002
33

Semantics of constructions (II) — The initial algebraic approach

Year:
2001
Language:
english
File:
PDF, 592 KB
english, 2001
34

Fair ambients

Year:
2007
Language:
english
File:
PDF, 886 KB
english, 2007
37

On quasi-open bisimulation

Year:
2005
Language:
english
File:
PDF, 358 KB
english, 2005
41

Bisimulation congruence of chi calculus

Year:
2003
Language:
english
File:
PDF, 247 KB
english, 2003
50

A schematic axiom for open congruence

Year:
2005
Language:
english
File:
PDF, 172 KB
english, 2005